gtkplacessidebar: don't margins in the code

those should rather be defined by the theme
https://bugzilla.gnome.org/show_bug.cgi?id=763768

diff --git a/gtk/gtkplacessidebar.c b/gtk/gtkplacessidebar.c
index de4bfaf671d7cb9fea47727b1d73c41e48d332e6..4f012410eccf3c4011a9bcd1b3c2a1e545af32d6 100644 (file)
--- a/gtk/gtkplacessidebar.c
+++ b/gtk/gtkplacessidebar.c
@@ -3345,8 +3345,6 @@ append_separator (GtkWidget *box)
   separator = g_object_new (GTK_TYPE_SEPARATOR,
                             "orientation", GTK_ORIENTATION_HORIZONTAL,
                             "visible", TRUE,
-                            "margin-start", 12,
-                            "margin-end", 12,
                             "margin-top", 6,
                             "margin-bottom", 6,
                             NULL);